981. Finite versus infinite :
پدیدآورنده : Cristian S. Calude and Gheorghe Păun [eds.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics.,Finite, The.,Infinite.
رده :
QA295
.
C757
2000
982. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
983. Focused retrieval of content and structure
پدیدآورنده : Shlomo Geva, Jaap Kamps, Ralf Schenkel (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data mining, Congresses,Data structures (Computer science), Congresses,Information retrieval, Congresses,XML (Document markup language), Congresses
رده :
QA76
.
76
.
H94
I58
2011eb
984. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
985. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
986. Formalization of Programming Concepts:
پدیدآورنده : J Diaz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
987. Foundations of Programming Languages /
پدیدآورنده : by Kent D. Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
988. Foundations of Web Technology
پدیدآورنده : by Ramesh R. Sarukkai.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer industry.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
989. Foundations of data organization and algorithms : 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989 : Proceedings
پدیدآورنده : W. Litwin, H.-J. Schek )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
367
990. Foundations of data organization and algorithms: 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Database management,Congresses ، Data structures )Computer science(,Congresses ، Algorithms
رده :
QA
76
.
9
.
D3
.
F67
1989
991. Foundations of programming languages /
پدیدآورنده : Kent D. Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
992. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
993. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,System analysis, Congresses.
994. Fourth generation data: A Guide to data analysis for new and old systems
پدیدآورنده : Dan Tasker
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Data structures (Computer science),Data base management
رده :
QA
،
76
.
9
،.
D35
,
T38
،
1989
995. Fourth generation data : a guide to data analysis for new and old systems
پدیدآورنده : Tasker, Dan
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Data structures )Computer science(,، Database management
رده :
QA
76
.
9
.
D35
T38
1989
996. Frontiers in Belief Revision
پدیدآورنده : edited by Mary-Anne Williams, Hans Rott.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic.
997. Frontiers of combining systems :
پدیدآورنده : Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
998. Frontiers of higher order fuzzy sets /
پدیدآورنده : Alireza Sadeghian, Hooman Tahayori, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science),Engineering.,Fuzzy sets.,Artificial Intelligence (incl. Robotics),Computational Intelligence.,Data Structures, Cryptology and Information Theory.
رده :
QA248
.
5
999. Full-text (substring) indexes in external memory /
پدیدآورنده : Marina Barsky, Ulrike Stege, Alex Thomo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms,Data structures (Computer science),Magnetic memory (Computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
B37
2012